No. 003 (2024.09.26)
(Markdown 記法ではないので注意 → 記法 を参照すること) 前回
参加者
mrkn
abap34 yuchi yamaguchi.icon
antimon2
(ここに参加した人が自分の名前 / ID を追記していく)
メモ
(やったことなどの記録を書く。専用カードを作った場合はそのリンクを貼る。)
今回は型推論の全体像を探る。
型推論は typeinf 関数で行う。
lock_mi_inference と unlock_mi_inference の対応関係が怪しそうに見えるので門脇さんに実情を尋ねたい。
REPL がプリコンパイル対象の関数をリストアップするために timings の履歴を使ってて面白かった
次回は _typeinf 関数を読み進める。